Subresiduated lattice ordered commutative monoids

A subresiduated lattice ordered commutative monoid (or srl-monoid for short) is a with particular subalgebra which contains residuated implication. The srl-monoids can be regarded as algebras that generalize lattices and respectively. In this paper we prove the class of forms variety. We show congruences any isomorphic to its strongly convex subalgebras also give description generated by subset negative cone srl-monoid. apply both results in order study giving application alternative equational basis variety totally members. above mentioned prelinear integral srl-monoids, whose expansion bottom seen generalization MTL-algebras.